CONTROL AND EMBEDDED COMPUTING: SURVEY OF RESEARCH DIRECTIONS
نویسندگان
چکیده
منابع مشابه
Survey and Research Directions
We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies considerably, along with the model checkers and their specification languages, most approaches rely on translating the hierarchical structure into the flat representation of the input language of the model checker. This makes...
متن کاملPageRank Problem, Survey And Future Research Directions
In this survey, we provide the most important computational methods to find the PageRank. This is a new comprehensive review of all major issues which are associated with PageRank problem, covering the basic topics, the iterative methods, lumping of nodes, the modification of lumping the nodes, rank-one perturbation, rank-r perturbation, advanced numerical linear algebra methods, conditioning, ...
متن کاملScientific Workflow: A Survey and Research Directions
Workflow technologies are emerging as the dominant approach to coordinate groups of distributed services. However with a space filled with competing specifications, standards and frameworks from multiple domains, choosing the right tool for the job is not always a straightforward task. Researchers are often unaware of the range of technology that already exists and focus on implementing yet ano...
متن کاملIntelligent User Interfaces: Survey and Research Directions
Computers are extremely e ective information processors. However, for current, highly interactive usage, computers can only be as e ective as the interface which is used to communicate with them. This report rst examines the development of the user interface to place the intelligent interface in historical context. Following this is a survey of intelligent interface paradigms and techniques. Th...
متن کاملSoftware Reuse: Survey and Research Directions
Software reuse is the use of software resources from all stages of the software development process in new applications. Given the high cost and difficulty of developing high quality software, the idea of capitalizing on previous software investments is appealing. However, software reuse has not been as effective as expected and has not been very broadly or systematically used in industry. This...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2005
ISSN: 1474-6670
DOI: 10.3182/20050703-6-cz-1902.01073